Strictly Convergent Analytic Structures

نویسندگان

  • RAF CLUCKERS
  • LEONARD LIPSHITZ
چکیده

We give conclusive answers to some questions about definability in analytic languages that arose shortly after the work by Denef and van den Dries, [DD], on p-adic subanalytic sets, and we continue the study of nonarchimedean fields with analytic structure of [LR3], [CLR1] and [CL1]. We show that the language LK consisting of the language of valued fields together with all strictly convergent power series over a complete, rank one valued field K can be expanded, in a definitional way, to a larger language corresponding to an analytic structure (with separated power series) from [CL1], hence inheriting all properties from loc. cit., including geometric properties for the definable sets like certain forms of quantifier elimination. Our expansion comes from adding specific, existentially definable functions, which are solutions of certain henselian systems of equations. Moreover, we show that, even when K is algebraically closed, one does not have quantifier elimination in LK itself, and hence, passing to expansions is unavoidable in general. We pursue this study in the wider generality of extending non-separated power series rings to separated ones, and give new examples, in particular of the analytic structure over Z[[t]] that can be interpreted and understood now in all complete valued fields. In a separate direction, we show in rather large generality that Weierstrass preparation implies Weierstrass division.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Čech Filtration and Monodromy in Log Crystalline Cohomology

For a strictly semistable log scheme Y over a perfect field k of characteristic p we investigate the canonical Čech spectral sequence (C)T abutting the Hyodo-Kato (log crystalline) cohomologyH∗ crys(Y/T )Q of Y and beginning with the log convergent cohomology of its various component intersections Y i. We compare the filtration on H∗ crys(Y/T )Q arising from (C)T with the monodromy operator N o...

متن کامل

A. Agrachev COMPACTNESS FOR SUB-RIEMANNIAN LENGTH-MINIMIZERS AND SUBANALYTICITY

We establish compactness properties for sets of length-minimizing admissible paths of a prescribed small length. This implies subanayticity of small subRiemannian balls for a wide class of real-analytic sub-Riemannian structures: for any structure without abnormal minimizers and for many structures without strictly abnormal minimizers.

متن کامل

Cluster analysis of local convergent sequences of structures

ABSTRACT. The cluster analysis of very large objects is an important problem, which spans several theoretical as well as applied branches of mathematics and computer science. Here we suggest a novel approach: under assumption of local convergence of a sequence of finite structures we derive an asymptotic clustering. This is achieved by a blend of analytic and geometric techniques, and particula...

متن کامل

First order convergence of matroids

The model theory based notion of the first order convergence unifies the notions of the left-convergence for dense structures and the BenjaminiSchramm convergence for sparse structures. It is known that every first order convergent sequence of graphs with bounded tree-depth can be represented by an analytic limit object called a limit modeling. We establish the matroid counterpart of this resul...

متن کامل

Monotone Semide nite Complementarity Problems

In this paper, we study some basic properties of the monotone semide nite nonlinear complementarity problem (SDCP). We show that the trajectory continuously accumulates into the solution set of the SDCP passing through the set of the infeasible but positive de nite matrices under certain conditions. Especially, for the monotone semide nite linear complementarity problem, the trajectory converge...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015